(** * Notations for structures *)
Require Structure.Core.

Include Structure.Core.StructureCoreNotations.
